2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 57 51 54 129 90 58 70

N.S.

1 1.00 0.98 0.88 0.93 2.22 1.55 1.00 1.21

time (sec)

N/A 0.023 0.032 0.083 0.501 1.284 0.186 1.133 0.039

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 31 32 31 29 27 32 31

N.S.

1 1.00 0.89 0.91 0.89 0.83 0.77 0.91 0.89

time (sec)

N/A 0.022 0.009 0.066 0.287 1.252 0.117 0.990 0.057

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 40 34 33 98 82 33 32

N.S.

1 1.00 1.03 0.87 0.85 2.51 2.10 0.85 0.82

time (sec)

N/A 0.011 0.020 0.060 0.535 1.192 0.173 1.476 0.030

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 34 33 35 33 26 36 32

N.S.

1 1.00 1.00 0.97 1.03 0.97 0.76 1.06 0.94

time (sec)

N/A 0.023 0.010 0.077 0.301 0.894 0.405 1.683 0.044

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 42 37 37 105 82 37 34

N.S.

1 1.00 0.98 0.86 0.86 2.44 1.91 0.86 0.79

time (sec)

N/A 0.015 0.021 0.091 0.492 1.266 0.176 1.368 0.061

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 49 46 48 48 41 72 45

N.S.

1 1.00 0.98 0.92 0.96 0.96 0.82 1.44 0.90

time (sec)

N/A 0.033 0.017 0.082 0.284 1.528 0.523 1.364 0.089

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 60 55 56 136 129 57 53

N.S.

1 1.00 1.02 0.93 0.95 2.31 2.19 0.97 0.90

time (sec)

N/A 0.025 0.039 0.077 0.497 0.969 0.205 1.510 0.069

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 116 139 137 138 122 148 146

N.S.

1 1.00 1.13 1.35 1.33 1.34 1.18 1.44 1.42

time (sec)

N/A 0.090 0.044 0.131 0.285 1.039 0.341 0.650 0.061

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 105 142 140 304 246 153 169

N.S.

1 1.00 1.00 1.35 1.33 2.90 2.34 1.46 1.61

time (sec)

N/A 0.049 0.072 0.131 0.499 1.035 0.357 0.948 0.055

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 82 102 101 102 83 107 106

N.S.

1 1.00 1.02 1.28 1.26 1.28 1.04 1.34 1.32

time (sec)

N/A 0.060 0.028 0.082 0.290 1.111 0.216 0.890 0.062

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 84 102 105 230 194 113 128

N.S.

1 1.00 1.00 1.21 1.25 2.74 2.31 1.35 1.52

time (sec)

N/A 0.043 0.054 0.089 0.499 1.047 0.256 0.869 0.065

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 49 63 66 67 49 67 68

N.S.

1 1.00 0.80 1.03 1.08 1.10 0.80 1.10 1.11

time (sec)

N/A 0.034 0.017 0.108 0.281 1.274 0.194 0.980 0.036

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 59 64 69 181 172 72 90

N.S.

1 1.00 0.94 1.02 1.10 2.87 2.73 1.14 1.43

time (sec)

N/A 0.027 0.037 0.000 0.499 1.516 0.224 0.944 0.040

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 50 59 61 59 41 62 58

N.S.

1 1.00 0.98 1.16 1.20 1.16 0.80 1.22 1.14

time (sec)

N/A 0.034 0.017 0.085 0.319 1.153 0.773 0.667 0.095

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 55 65 63 164 165 63 80

N.S.

1 1.00 1.00 1.18 1.15 2.98 3.00 1.15 1.45

time (sec)

N/A 0.034 0.039 0.083 0.501 1.098 0.313 0.615 0.041

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 60 66 69 73 49 90 67

N.S.

1 1.00 1.03 1.14 1.19 1.26 0.84 1.55 1.16

time (sec)

N/A 0.042 0.021 0.083 0.276 1.370 0.903 0.579 0.098

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 66 70 70 190 172 72 90

N.S.

1 1.00 1.03 1.09 1.09 2.97 2.69 1.12 1.41

time (sec)

N/A 0.040 0.048 0.087 0.504 1.455 0.421 0.535 0.079

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 128 234 219 220 201 238 236

N.S.

1 1.00 0.93 1.70 1.59 1.59 1.46 1.72 1.71

time (sec)

N/A 0.127 0.057 0.088 0.288 1.305 0.351 0.538 0.069

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 140 231 222 468 343 241 260

N.S.

1 1.00 1.00 1.65 1.59 3.34 2.45 1.72 1.86

time (sec)

N/A 0.065 0.036 0.106 0.527 1.718 0.392 0.620 0.060

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 125 177 168 169 144 180 178

N.S.

1 1.00 1.09 1.54 1.46 1.47 1.25 1.57 1.55

time (sec)

N/A 0.087 0.041 0.087 0.297 1.380 0.312 0.583 0.031

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 118 173 172 364 274 184 199

N.S.

1 1.00 0.99 1.45 1.45 3.06 2.30 1.55 1.67

time (sec)

N/A 0.058 0.030 0.102 0.520 0.996 0.359 0.575 0.056

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 82 119 119 120 94 124 123

N.S.

1 1.00 0.94 1.37 1.37 1.38 1.08 1.43 1.41

time (sec)

N/A 0.057 0.023 0.086 0.315 0.913 0.269 0.532 0.035

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 92 116 122 292 238 129 146

N.S.

1 1.00 0.94 1.18 1.24 2.98 2.43 1.32 1.49

time (sec)

N/A 0.039 0.049 0.064 0.549 1.046 0.371 0.548 0.067

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 65 86 98 101 65 99 97

N.S.

1 1.00 0.89 1.18 1.34 1.38 0.89 1.36 1.33

time (sec)

N/A 0.054 0.023 0.095 0.326 1.160 1.104 0.529 0.086

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 76 95 101 253 221 104 118

N.S.

1 1.00 0.99 1.23 1.31 3.29 2.87 1.35 1.53

time (sec)

N/A 0.046 0.026 0.088 0.536 1.181 0.431 0.585 0.039

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 75 94 97 105 63 120 95

N.S.

1 1.00 1.03 1.29 1.33 1.44 0.86 1.64 1.30

time (sec)

N/A 0.052 0.026 0.095 0.273 0.897 1.280 0.569 0.094

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 74 98 98 256 221 100 122

N.S.

1 1.00 1.00 1.32 1.32 3.46 2.99 1.35 1.65

time (sec)

N/A 0.048 0.030 0.092 0.516 1.046 0.663 0.621 0.085

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 66 65 68 72 0 70 68

N.S.

1 1.00 0.94 0.93 0.97 1.03 0.00 1.00 0.97

time (sec)

N/A 0.047 0.024 0.105 0.317 1.337 0.000 0.575 0.186

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 74 73 72 391 921 72 343

N.S.

1 1.00 0.95 0.94 0.92 5.01 11.81 0.92 4.40

time (sec)

N/A 0.057 0.066 0.135 0.492 1.093 153.144 0.546 0.348

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 43 50 49 42 144 51 51

N.S.

1 1.00 0.81 0.94 0.92 0.79 2.72 0.96 0.96

time (sec)

N/A 0.035 0.016 0.099 0.287 0.829 1.412 0.560 0.152

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 61 55 54 309 570 54 133

N.S.

1 1.00 0.87 0.79 0.77 4.41 8.14 0.77 1.90

time (sec)

N/A 0.023 0.034 0.130 0.515 1.227 1.829 0.594 0.194

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 31 42 41 31 138 51 148

N.S.

1 1.00 0.69 0.93 0.91 0.69 3.07 1.13 3.29

time (sec)

N/A 0.017 0.013 0.094 0.320 0.930 0.540 0.579 0.120

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 61 55 54 292 712 54 135

N.S.

1 1.00 0.87 0.79 0.77 4.17 10.17 0.77 1.93

time (sec)

N/A 0.016 0.032 0.070 0.482 1.068 2.809 0.677 0.185

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 54 59 61 54 0 73 58

N.S.

1 1.00 0.87 0.95 0.98 0.87 0.00 1.18 0.94

time (sec)

N/A 0.044 0.021 0.109 0.276 1.236 0.000 0.699 0.176

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 76 76 75 384 1093 75 338

N.S.

1 1.00 0.94 0.94 0.93 4.74 13.49 0.93 4.17

time (sec)

N/A 0.057 0.062 0.157 0.583 1.015 138.922 0.630 0.343

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 88 83 87 99 0 112 87

N.S.

1 1.00 1.01 0.95 1.00 1.14 0.00 1.29 1.00

time (sec)

N/A 0.066 0.030 0.118 0.296 1.298 0.000 1.344 0.208

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 101 96 96 560 0 98 367

N.S.

1 1.00 1.01 0.96 0.96 5.60 0.00 0.98 3.67

time (sec)

N/A 0.118 0.093 0.142 0.515 0.948 0.000 1.462 0.343

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 119 114 117 127 0 167 118

N.S.

1 1.00 1.00 0.96 0.98 1.07 0.00 1.40 0.99

time (sec)

N/A 0.088 0.041 0.133 0.279 1.893 0.000 1.043 0.239

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 135 127 131 669 0 139 397

N.S.

1 1.00 1.01 0.95 0.98 4.99 0.00 1.04 2.96

time (sec)

N/A 0.151 0.092 0.145 0.565 1.306 0.000 1.034 0.356

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 147 162 165 155 0 239 165

N.S.

1 1.00 0.95 1.05 1.06 1.00 0.00 1.54 1.06

time (sec)

N/A 0.119 0.048 0.130 0.292 2.238 0.000 1.237 0.275

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 91 86 130 162 0 152 169

N.S.

1 1.00 0.98 0.92 1.40 1.74 0.00 1.63 1.82

time (sec)

N/A 0.062 0.036 0.131 0.362 1.094 0.000 1.467 0.260

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 108 95 132 718 0 121 2500

N.S.

1 1.00 1.00 0.88 1.22 6.65 0.00 1.12 23.15

time (sec)

N/A 0.060 0.094 0.163 0.524 1.184 0.000 1.173 0.569

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 74 68 105 117 253 91 173

N.S.

1 1.00 1.00 0.92 1.42 1.58 3.42 1.23 2.34

time (sec)

N/A 0.048 0.028 0.116 0.319 1.602 1.340 1.565 0.156

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 90 85 119 705 0 110 3154

N.S.

1 1.00 0.87 0.82 1.14 6.78 0.00 1.06 30.33

time (sec)

N/A 0.045 0.096 0.161 0.551 1.553 0.000 1.640 0.446

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 66 73 99 103 248 85 160

N.S.

1 1.00 0.94 1.04 1.41 1.47 3.54 1.21 2.29

time (sec)

N/A 0.037 0.025 0.124 0.281 1.000 1.100 1.249 0.149

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 95 93 133 711 0 122 2500

N.S.

1 1.00 0.87 0.85 1.22 6.52 0.00 1.12 22.94

time (sec)

N/A 0.054 0.122 0.072 0.561 1.378 0.000 1.140 0.545

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 98 99 138 219 0 185 127

N.S.

1 1.00 0.98 0.99 1.38 2.19 0.00 1.85 1.27

time (sec)

N/A 0.071 0.068 0.138 0.284 1.987 0.000 1.338 0.398

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 123 109 178 1005 0 164 432

N.S.

1 1.00 0.85 0.76 1.24 6.98 0.00 1.14 3.00

time (sec)

N/A 0.133 0.188 0.192 0.536 1.426 0.000 1.100 0.464

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 117 120 188 302 0 257 171

N.S.

1 1.00 0.93 0.95 1.49 2.40 0.00 2.04 1.36

time (sec)

N/A 0.103 0.174 0.150 0.284 3.020 0.000 1.007 0.522

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 142 127 236 1281 0 165 469

N.S.

1 1.00 0.75 0.67 1.25 6.78 0.00 0.87 2.48

time (sec)

N/A 0.179 0.283 0.161 0.546 2.327 0.000 1.198 0.516

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 99 124 236 290 418 232 370

N.S.

1 1.00 0.85 1.07 2.03 2.50 3.60 2.00 3.19

time (sec)

N/A 0.079 0.076 0.125 0.305 1.132 3.070 1.351 0.249

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 154 154 264 1573 0 204 2500

N.S.

1 1.00 0.98 0.98 1.68 10.02 0.00 1.30 15.92

time (sec)

N/A 0.112 0.181 0.194 0.554 1.702 0.000 0.901 1.072

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 77 105 217 256 411 174 343

N.S.

1 1.00 0.77 1.05 2.17 2.56 4.11 1.74 3.43

time (sec)

N/A 0.066 0.087 0.128 0.312 1.005 2.697 0.779 0.207

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 151 151 266 1587 0 206 2500

N.S.

1 1.00 0.97 0.97 1.72 10.24 0.00 1.33 16.13

time (sec)

N/A 0.092 0.166 0.205 0.553 1.480 0.000 0.772 1.062

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 98 111 211 254 391 174 340

N.S.

1 1.00 1.00 1.13 2.15 2.59 3.99 1.78 3.47

time (sec)

N/A 0.053 0.040 0.137 0.330 1.201 2.372 0.912 0.155

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 158 158 277 1585 0 217 2500

N.S.

1 1.00 0.99 0.99 1.73 9.91 0.00 1.36 15.62

time (sec)

N/A 0.129 0.169 0.075 0.538 1.800 0.000 1.296 1.148

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 141 165 278 520 0 315 246

N.S.

1 1.00 0.95 1.11 1.87 3.49 0.00 2.11 1.65

time (sec)

N/A 0.111 0.205 0.165 0.334 6.311 0.000 1.229 0.783

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 172 170 352 1991 0 236 738

N.S.

1 1.00 0.82 0.81 1.67 9.44 0.00 1.12 3.50

time (sec)

N/A 0.204 0.288 0.237 0.513 2.904 0.000 0.775 0.704

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 171 187 364 640 0 357 314

N.S.

1 1.00 0.96 1.05 2.04 3.60 0.00 2.01 1.76

time (sec)

N/A 0.151 0.322 0.172 0.304 9.490 0.000 1.502 0.853

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

270 270 196 190 440 2397 0 256 785

N.S.

1 1.00 0.73 0.70 1.63 8.88 0.00 0.95 2.91

time (sec)

N/A 0.296 0.317 0.236 0.512 5.717 0.000 1.268 0.775

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 15 17 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 0.71 0.81 0.81

time (sec)

N/A 0.009 0.004 0.076 0.299 0.861 0.031 0.882 0.084

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 89 76 84 240 129 88 104

N.S.

1 1.00 1.02 0.87 0.97 2.76 1.48 1.01 1.20

time (sec)

N/A 0.051 0.054 0.096 0.510 1.565 0.349 0.820 0.048

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 50 60 59 78 56 90 63

N.S.

1 1.00 0.83 1.00 0.98 1.30 0.93 1.50 1.05

time (sec)

N/A 0.044 0.026 0.076 0.301 0.923 0.305 0.896 0.044

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 68 59 60 202 114 58 59

N.S.

1 1.00 1.01 0.88 0.90 3.01 1.70 0.87 0.88

time (sec)

N/A 0.033 0.052 0.095 0.499 0.908 0.285 0.879 0.103

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 41 38 40 45 36 65 37

N.S.

1 1.00 1.00 0.93 0.98 1.10 0.88 1.59 0.90

time (sec)

N/A 0.027 0.010 0.069 0.316 1.153 0.181 0.739 0.081

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 63 57 57 181 112 57 51

N.S.

1 1.00 1.00 0.90 0.90 2.87 1.78 0.90 0.81

time (sec)

N/A 0.013 0.034 0.000 0.523 1.089 0.203 0.756 0.097

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 46 49 51 71 46 63 47

N.S.

1 1.00 0.90 0.96 1.00 1.39 0.90 1.24 0.92

time (sec)

N/A 0.033 0.022 0.075 0.274 0.802 0.207 0.672 0.030

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 70 60 65 214 114 64 61

N.S.

1 1.00 0.99 0.85 0.92 3.01 1.61 0.90 0.86

time (sec)

N/A 0.036 0.025 0.081 0.483 1.092 0.252 1.108 0.114

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 64 75 78 122 70 84 74

N.S.

1 1.00 0.84 0.99 1.03 1.61 0.92 1.11 0.97

time (sec)

N/A 0.051 0.036 0.086 0.292 1.002 0.488 1.597 0.065

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 90 79 93 250 184 86 84

N.S.

1 1.00 1.00 0.88 1.03 2.78 2.04 0.96 0.93

time (sec)

N/A 0.074 0.053 0.085 0.498 0.911 0.301 1.465 0.111

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 138 141 149 400 286 156 200

N.S.

1 1.00 0.95 0.97 1.03 2.76 1.97 1.08 1.38

time (sec)

N/A 0.092 0.069 0.105 0.504 0.940 0.551 1.337 0.097

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 87 82 107 160 99 163 112

N.S.

1 1.00 0.99 0.93 1.22 1.82 1.12 1.85 1.27

time (sec)

N/A 0.075 0.047 0.097 0.298 1.086 0.506 1.319 0.042

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 105 102 109 342 246 114 148

N.S.

1 1.00 0.91 0.88 0.94 2.95 2.12 0.98 1.28

time (sec)

N/A 0.077 0.053 0.113 0.499 0.833 0.469 1.449 0.097

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 56 63 73 101 68 111 77

N.S.

1 1.00 0.92 1.03 1.20 1.66 1.11 1.82 1.26

time (sec)

N/A 0.042 0.036 0.079 0.302 1.063 0.408 0.974 0.099

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 88 94 95 297 236 94 124

N.S.

1 1.00 1.07 1.15 1.16 3.62 2.88 1.15 1.51

time (sec)

N/A 0.069 0.045 0.000 0.509 0.751 0.391 0.969 0.113

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 70 66 86 117 80 99 80

N.S.

1 1.00 1.04 0.99 1.28 1.75 1.19 1.48 1.19

time (sec)

N/A 0.046 0.031 0.089 0.291 1.077 0.689 0.952 0.143

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 100 91 95 101 308 238 103 128

N.S.

1 0.97 0.88 0.92 0.98 2.99 2.31 1.00 1.24

time (sec)

N/A 0.054 0.052 0.089 0.509 0.918 0.474 0.875 0.074

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 72 77 100 159 92 109 100

N.S.

1 1.00 0.90 0.96 1.25 1.99 1.15 1.36 1.25

time (sec)

N/A 0.057 0.072 0.087 0.290 0.613 0.760 0.762 0.104

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 125 107 107 118 356 248 112 146

N.S.

1 0.98 0.84 0.84 0.93 2.80 1.95 0.88 1.15

time (sec)

N/A 0.099 0.053 0.089 0.493 0.878 0.542 0.715 0.130

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 151 227 228 580 389 241 328

N.S.

1 1.00 0.89 1.34 1.35 3.43 2.30 1.43 1.94

time (sec)

N/A 0.107 0.062 0.109 0.564 1.063 0.760 0.622 0.105

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 106 137 174 254 163 249 194

N.S.

1 1.00 0.91 1.17 1.49 2.17 1.39 2.13 1.66

time (sec)

N/A 0.103 0.067 0.092 0.286 1.065 0.946 0.675 0.097

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 125 170 176 508 338 184 232

N.S.

1 1.00 0.85 1.16 1.20 3.46 2.30 1.25 1.58

time (sec)

N/A 0.130 0.050 0.111 0.533 1.047 0.677 0.543 0.036

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 127 89 124 181 112 183 130

N.S.

1 1.00 1.44 1.01 1.41 2.06 1.27 2.08 1.48

time (sec)

N/A 0.065 0.034 0.095 0.275 1.204 0.671 0.556 0.094

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 106 139 147 442 314 152 182

N.S.

1 1.00 1.00 1.31 1.39 4.17 2.96 1.43 1.72

time (sec)

N/A 0.065 0.046 0.071 0.503 0.974 0.581 0.504 0.111

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 111 94 122 178 110 150 122

N.S.

1 1.00 1.26 1.07 1.39 2.02 1.25 1.70 1.39

time (sec)

N/A 0.061 0.074 0.085 0.289 1.395 1.493 0.523 0.061

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 94 129 140 412 309 143 173

N.S.

1 1.00 0.72 0.98 1.07 3.15 2.36 1.09 1.32

time (sec)

N/A 0.091 0.046 0.116 0.518 0.967 0.884 0.620 0.118

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 87 100 141 209 128 157 135

N.S.

1 1.00 0.89 1.02 1.44 2.13 1.31 1.60 1.38

time (sec)

N/A 0.077 0.071 0.090 0.279 0.959 4.071 0.587 0.153

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 109 144 159 458 321 150 183

N.S.

1 1.00 0.74 0.98 1.08 3.12 2.18 1.02 1.24

time (sec)

N/A 0.094 0.047 0.092 0.506 0.807 1.146 0.492 0.138

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 95 94 133 726 0 122 2500

N.S.

1 1.00 0.87 0.86 1.22 6.66 0.00 1.12 22.94

time (sec)

N/A 0.060 0.110 0.173 0.523 0.910 0.000 0.478 0.550

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 74 69 105 117 253 92 172

N.S.

1 1.00 1.00 0.93 1.42 1.58 3.42 1.24 2.32

time (sec)

N/A 0.048 0.028 0.122 0.274 0.641 1.082 0.442 0.171

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 104 85 119 704 0 110 3153

N.S.

1 1.00 1.00 0.82 1.14 6.77 0.00 1.06 30.32

time (sec)

N/A 0.045 0.101 0.175 0.539 1.021 0.000 0.474 0.490

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 66 72 99 103 248 85 161

N.S.

1 1.00 0.94 1.03 1.41 1.47 3.54 1.21 2.30

time (sec)

N/A 0.038 0.021 0.121 0.285 0.795 1.042 0.551 0.163

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 109 95 132 699 0 121 2500

N.S.

1 1.00 1.01 0.88 1.22 6.47 0.00 1.12 23.15

time (sec)

N/A 0.051 0.105 0.072 0.489 0.958 0.000 0.452 0.538

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 97 100 137 218 0 183 127

N.S.

1 1.00 0.98 1.01 1.38 2.20 0.00 1.85 1.28

time (sec)

N/A 0.075 0.079 0.150 0.288 1.413 0.000 0.452 0.405

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 123 108 178 1003 0 164 2400

N.S.

1 1.00 0.85 0.75 1.24 6.97 0.00 1.14 16.67

time (sec)

N/A 0.134 0.138 0.174 0.526 1.973 0.000 0.737 0.557

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 119 120 189 303 0 257 171

N.S.

1 1.00 0.94 0.95 1.50 2.40 0.00 2.04 1.36

time (sec)

N/A 0.103 0.113 0.154 0.309 3.494 0.000 0.743 0.553

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 142 128 236 1281 0 165 2500

N.S.

1 1.00 0.75 0.68 1.25 6.78 0.00 0.87 13.23

time (sec)

N/A 0.185 0.201 0.204 0.528 2.371 0.000 1.526 0.640

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 155 153 258 356 0 281 217

N.S.

1 1.00 0.97 0.96 1.61 2.22 0.00 1.76 1.36

time (sec)

N/A 0.133 0.142 0.162 0.289 6.814 0.000 2.550 0.591

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 179 161 303 1489 0 207 2737

N.S.

1 1.00 0.72 0.64 1.21 5.96 0.00 0.83 10.95

time (sec)

N/A 0.280 0.225 0.155 0.534 4.559 0.000 0.998 0.659

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 202 201 339 410 0 354 278

N.S.

1 1.00 0.96 0.96 1.61 1.95 0.00 1.69 1.32

time (sec)

N/A 0.175 0.197 0.162 0.310 8.809 0.000 0.878 0.665